181. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
182. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده : D.S. Bridges...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
183. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
184. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
185. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
186. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
187. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
36
.
C8
188. Commonsense Reasoning
پدیدآورنده : \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
189. Commonsense reasoning /
پدیدآورنده : Erik T. Mueller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
190. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: (طهران)
موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
191. Computability and logic
پدیدآورنده : Cohen, Daniel E.
کتابخانه: (طهران)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
C64
1987
192. Computability and logic /
پدیدآورنده : Daniel E. Cohen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
C64
1987
193. Computability, complexity, logic
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
194. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
195. Computability: computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
196. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
1989
197. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
کتابخانه: (طهران)
موضوع : Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
198. Computation, logic, philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science- Mathematics,Logic, Symbolic and mathematical
199. Computation, logic, philosophy : a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
200. Computation, logic, philosophy :a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : Mathematics ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W35
1990
